Challenges in the Specification of Full Contracts
نویسندگان
چکیده
The complete specification of full contracts — contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved using a combination of temporal and deontic concepts. In this paper we discuss the challenges in combining deontic and other relevant logics, in particular focusing on operators for choice, obligations over sequences, contrary-to-duty obligations, and how internal and external decisions may be incorporated in an action-based language for specifying contracts. We provide different viable interpretations and approaches for the development of such a sound logic and outline challenges for the future.
منابع مشابه
Examining the role of Smart Contracts in the development of the electronic registration system of documents
The document registration system is one of the most important instruments for guaranteeing the rights of individuals and preventing the occurrence of many disputes. In many developed countries, attempts have been made to change the system of registering transactions and documents. Thus, countries like the United States and Britain have changed the status of electronic registrations by adopting ...
متن کاملChallenges of implementing partnership contracts in the Iranian banking system and strategies for reform them
Despite the emphasis on the importance of partnership contracts in the economic literature, especially Islamic economics, the share of these contracts in the total facilities of the Iranian banking system has decreased in recent years. This indicates the existence of fundamental problems in the implementation of these contracts. Problems that have caused the central bank of Iran to recommend th...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملO-14: General Governing Rules of ART Contracts Involving Third Parties
Background: ART contracts involving third parties have been created while clinical reproductive treatments are globally widespread. Iran is pioneer in applying these treatments in middle-east due to shii’at jurisprudence prescribing them. This key role in region, has raised Iranian jurists’ responsibility in developing a legal system regarding administration of ART. The most significant part of...
متن کاملکارآیی اقتصادی و دخالت دولت در قراردادها
At first, the economic efficiency has been brought up in economics and then developed as a superior normative purpose and value in another areas such as law. Accordingly, many areas including the free market, the contracts and their related laws have been formed with regard to this normative purpose and its implications and are going to obtain the most interests and achievements, while they spe...
متن کامل